< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-28
上传用户:康郎
"kill"可以让电脑死机(利用程序中的死循环)
上传时间: 2014-01-26
上传用户:jiahao131
Windows 死机密码
上传时间: 2014-01-05
上传用户:LIKE
C/C++语言指针使用指南,超过80%的死机现象是由于指针操作不当引起的。因而学会正确使用指针是C/C++语言使用者非常必要的一项小技能
上传时间: 2015-03-16
上传用户:nanxia
DOS死机客星,能打破程序死循环,按住Ctrl +Esc即可使死掉的程序立即返回到Dos She
上传时间: 2015-04-14
上传用户:372825274
详解死机的原因和预防方法;隐藏在XP中的28个秘密武器;用PMAGIC安装98和XP双系统;找出WINDOWS XP下的关闭事件跟踪程序;找回丢失的输入法标志;重启时不可忽视的硬盘自检;注册表解锁有奇招妙用系统策略编辑器;注册表损坏之症状和修复;注册表修复不成功的原因(全完)。
上传时间: 2014-01-18
上传用户:hopy
%直接型到并联型的转换 % %[C,B,A]=dir2par(b,a) %C为当b的长度大于a时的多项式部分 %B为包含各bk的K乘2维实系数矩阵 %A为包含各ak的K乘3维实系数矩阵 %b为直接型分子多项式系数 %a为直接型分母多项式系数 %
上传时间: 2014-01-19
上传用户:lizhen9880
直接型到级联型的形式转换 % [b0,B,A]=dir2cas(b,a) %b 为直接型的分子多项式系数 %a 为直接型的分母多项式系数 %b0为增益系数 %B 为包含各bk的K乘3维实系数矩阵 %A 为包含各ak的K乘3维实系数矩阵 %
上传时间: 2013-12-29
上传用户:agent
B树及其B+树的实现代码,支持模版(数据类型,M值)
上传时间: 2016-02-21
上传用户:jhksyghr
20种死机案例实录.doc
上传时间: 2014-11-01
上传用户:jennyzai